Results for 'I. Prologue on Mathematical Logic'

965 found
Order:
  1. William S. Hatcher.I. Prologue on Mathematical Logic - 1973 - In Mario Bunge (ed.), Exact philosophy; problems, tools, and goals. Boston,: D. Reidel. pp. 83.
     
    Export citation  
     
    Bookmark  
  2. Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Mathematical Logic in Latin America Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  48
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  5. Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
  6.  43
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  29
    Modes and Levels of Perplexity [review of John Ongley and Rosalind Carey, Russell: a Guide for the Perplexed ].I. Grattan-Guinness - 2013 - Russell: The Journal of Bertrand Russell Studies 33 (2):173-177.
    In lieu of an abstract, here is a brief excerpt of the content:russell: the Journal of Bertrand Russell Studies n.s. 33 (winter 2013–14): 173–90 The Bertrand Russell Research Centre, McMaster U. issn 0036–01631; online 1913–8032 c:\users\kenneth\documents\type3302\rj 33,2 114 red.docx 2014-01-31 8:29 PM oeviews MODES AND LEVELS OF PERPLEXITY I. Grattan-Guinness Middlesex U. Business School Hendon, London nw4 4bt, uk [email protected] John Ongley and Rosalind Carey. Russell: a Guide for the Perplexed. London: Bloomsbury, 2013. Pp. ix, 212. isbn: 978-0-8264-9753-6. £45 (hb), (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. Essays on Mathematical and Philosophical Logic.J. Hintikka, I. Niiniluoto & E. Saarinen - 1979 - Springer.
  9.  72
    A note on mathematical pluralism and logical pluralism.Graham Priest - 2019 - Synthese 198 (Suppl 20):4937-4946.
    Mathematical pluralism notes that there are many different kinds of pure mathematical structures—notably those based on different logics—and that, qua pieces of pure mathematics, they are all equally good. Logical pluralism is the view that there are different logics, which are, in an appropriate sense, equally good. Some, such as Shapiro, have argued that mathematical pluralism entails logical pluralism. In this brief note I argue that this does not follow. There is a crucial distinction to be drawn (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  7
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  11.  36
    Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.Roman Kossak - 2018 - Cham: Springer Verlag.
    This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an added third part to the textbook. The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Part I, Logic Sets, and Numbers, shows how (...)
    No categories
  12.  67
    On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
    This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  94
    On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3-6):45-52.
  14.  24
    On the Problem of the Interrelations of Modern Formal Logic and Mathematical Logic.G. I. Ruzavin - 1964 - Russian Studies in Philosophy 3 (1):34-44.
    In recent years, as a result of the extensive employment of the ideas and methods of mathematical logic in cybernetics and computer mathematics here and abroad, there has been a noticeable rise in interest in the methodological problems of this science. One of these is the problem of the relations between mathematical logic and traditional and even modern formal logic. However, when this problem is discussed in our philosophical literature it appears to us that three (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  21
    Essays on Mathematical and Philosophical Logic[REVIEW]A. F. M. - 1980 - Review of Metaphysics 34 (1):140-141.
    A collection of 24 out of the 35 papers presented at the Fourth Scandinavian Logic Symposium and First Soviet-Finnish Logic Conference, which took place simultaneously in Finland in 1976. Topics covered are proof theory, set theory, model theory, recursion theory, infinitary languages, generalized quantifiers, truthlikeness, natural language, and "philosophical logic." There is a paper by George Kreisel which discusses an intriguing distinction between the theory of proofs and general proof theory, the latter being the study of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.
    Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  36
    On Modal Logics of Model-Theoretic Relations.Denis I. Saveliev & Ilya B. Shapirovsky - 2020 - Studia Logica 108 (5):989-1017.
    Given a class $$\mathcal {C}$$ of models, a binary relation $$\mathcal {R}$$ between models, and a model-theoretic language L, we consider the modal logic and the modal algebra of the theory of $$\mathcal {C}$$ in L where the modal operator is interpreted via $$\mathcal {R}$$. We discuss how modal theories of $$\mathcal {C}$$ and $$\mathcal {R}$$ depend on the model-theoretic language, their Kripke completeness, and expressibility of the modality inside L. We calculate such theories for the submodel and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  19.  40
    Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.
    Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  31
    An outline of mathematical logic: fundamental results and notions explained with all details.Andrzej Grzegorczyk - 1974 - Boston: D. Reidel Pub. Co..
    Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  21.  18
    On the Situation in Logic and its Place in University Education.I. S. Narskii - 1966 - Russian Studies in Philosophy 5 (3):3-11.
    It becomes more obvious each year that the appeals of the party and government to strengthen the ties between philosophy and modern science are not being adequately implemented by the chairs of logic in the universities. In a number of institutions, a situation has persisted for a long time in which only a few professors and instructors deal with the subject area of dialectical and mathematical logic at a high professional level. Most of the teaching staff continue (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    A precis of mathematical logic.Józef Maria Bochenski - 1959 - Dordrecht, Holland,: D. Reidel Pub. Co..
    The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German. In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. On Mathematical Proving.Ioannis M. Vandoulakis & Petros Stefaneas - 2015 - Journal of Artificial General Intelligence 6 (1):130–149.
    This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such (...)
     
    Export citation  
     
    Bookmark   2 citations  
  24.  74
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  12
    (1 other version)Philosophical and Mathematical Logic.Harrie de Swart - 2014 - Cham: Springer Verlag.
    Having studied mathematics, in particular foundations and philosophy of mathematics, it happened that I was asked to teach logic to the students in the Faculty of Philosophy of the Radboud University Nijmegen. It was there that I discovered that logic is much more than just a mathematical discipline consisting of definitions, theorems and proofs, and that logic can and should be embedded in a philosophical context. After ten years of teaching logic at the Faculty of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  64
    Popper K. R.. On the theory of deduction, Part I. Derivation and its generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 173–183; also Indagationes mathematicae, vol. 10 , pp. 44–54.Popper K. R.. On the theory of deduction, Part II. The definitions of classical and intuitionist negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 322–331; also ibid., pp. 111–120.Popper K. R.. The trivialization of mathematical logic. Library of the Xlh International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, pp. 510–515. [REVIEW]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):62-63.
  27.  35
    Foreword. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of mathematics, theory of sets and mathematical logic. Bibliography of Polish mathematics 1944–1954, translated reprint from the Roczniki Polskiego Towarzystwa Matematycznego, seria II, Wiadomości matematyczne, published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the order of Centralny Instytut Informacji Naukowo-technicznej i Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, teaching, popularization and organization of mathematics. Bibliog. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (3):517-517.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  24
    Wittgenstein on mathematics.Penelope Maddy - 2024 - Philosophical Investigations 47 (4):461-483.
    The mature Wittgenstein's groundbreaking analyses of sense and the logical must—and the powerful new method that made them possible—were the result of a multi‐year process of writing, re‐arranging, re‐writing and one large‐scale revision that eventually produced the Philosophical Investigations and RFM I. In contrast, his struggles during the same period with questions of arithmetic and higher mathematics remained largely in first‐draft form, and he drops the topic entirely after 1945. In this paper, I argue that Wittgenstein's new method can be (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  22
    G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 , pp. 323–329. - G. É. Minc. Ustojčivost' E-téorém i provérka programm . Sémiotika i informatika, vol. 12 , pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 , pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 , pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 , pp. 435–452. [REVIEW]Andre Scedrov - 1987 - Journal of Symbolic Logic 52 (2):561-561.
  30.  21
    An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.Jouko Väänänen - 2020 - Theoria 87 (2):349-360.
    I will give a brief overview of Saharon Shelah’s work in mathematical logic. I will focus on three transformative contributions Shelah has made: stability theory, proper forcing and PCF theory. The first is in model theory and the other two are in set theory.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  21
    Bertrand russell's logical manuscripts: an apprehensive brief.I. Grattan-Guinness - 1985 - History and Philosophy of Logic 6 (1):53-74.
    Among the papers left by Bertrand Russell (1872?1970) and now held at the Russell Archives at McMaster University, is a large quantity of material on mathematical logic and the foundations of mathematics. This paper is a provisional survey of their extent and content. Some indications are given of their historical significance, and a discussion is added to the possible modes of their publication in the edition of Russell's Collected papers, currently in progress.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  47
    Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
  34.  46
    On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
    This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35. Debunking Arguments: Mathematics, Logic, and Modal Security.Justin Clarke-Doane - 2017 - In Michael Ruse & Robert J. Richards (eds.), The Cambridge Handbook of Evolutionary Ethics. New York: Cambridge University Press.
    I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  79
    Macintyre Angus. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 , pp. 253–270.Macintyre Angus. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 , pp. 1–25.Reineke Joachim. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 , pp. 357–359.Baldwin J. T. and Saxl Jan. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A , pp. 267–276.Zil'bér B. I.. Gruppy i kol'ca, téoriá kotoryh katégorična . Fundamenta mathematicae, vol. 95 , pp. 173–188.Baur Walter, Cherlin Gregory, and Macintyre Angus. Totally categorical groups and rings. Journal of algebra, vol. 57 , pp. 407–440.Cherlin Gregory. Groups of small Morley rank. Annals of mathematical logic, vol. 17 , pp. 1–28.Cherlin G. and Shelah S.. Superstable fields and groups. Annals of mathematical logic, vol. 18 , pp. 227–270.Poizat Bruno. Sous-groupes définissables d 'un groupe stable. [REVIEW]Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
  37.  68
    A logical system based on rules and its application in teaching mathematical logicO pewnym systemie logicznym opartym na regułach i jego zastosowaniu przy nauczaniu logiki matematycznejОб одноИ логическоИ системе, основанноИ на правилах и об ее применении в преподавании математическоИ логики.Ludwik Borkowski & Jerzy Słupecki - 1958 - Studia Logica 7 (1):71-113.
  38.  67
    (1 other version)Markov A. A.. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 , pp. 7–29.Markov A. A.. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 , pp. 45–60. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
  39. Formal and Transcendental Logic- Husserl's most mature reflection on mathematics and logic.Mirja Helena Hartimo - 2021 - In Hanne Jacobs (ed.), The Husserlian Mind. New Yor, NY: Routledge. pp. 50-59.
    This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  41.  13
    Constructive Models.I͡Uriĭ Leonidovich Ershov - 2000 - Consultants Bureau. Edited by S. S. Goncharov.
    The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern mathematics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  37
    The Metalogic of Mathematical Logic.F. F. Centore - 1971 - Philosophical Studies (Dublin) 20:124-138.
    IT cannot be denied that metaphysics is an unpopular subject among many contemporary professional philosophers. Historically speaking, the reasons for this present-day phenomenon can be traced back to the rise and spread of philosophical Idealism over the past several hundred years. What is common to all Idealistic philosophers is the orientation adopted at the beginnings of their philosophical investigations: they attempt to unravel the mysteries of being by viewing being through ideas. Their prime concern becomes the analyses of terms and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  89
    Kant on the possibilities of mathematics and the scope and limits of logic.Frode Kjosavik - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):683-706.
    ABSTRACT I suggest how a broadly Kantian critique of classical logic might spring from reflections on constructibility conditions. According to Kant, mathematics is concerned with objects that are given through ‘arbitrary synthesis,’ in the form of ‘constructions of concepts’ in the medium of ‘pure intuition.’ Logic, by contrast, is narrowly constrained – it has no objects of its own and is fixed by the very forms of thought. That is why there is not much room for developments within (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  83
    On Mathematical Instrumentalism.Patrick Caldon & Aleksandar Ignjatović - 2005 - Journal of Symbolic Logic 70 (3):778 - 794.
    In this paper we devise some technical tools for dealing with problems connected with the philosophical view usually called mathematical instrumentalism. These tools are interesting in their own right, independently of their philosophical consequences. For example, we show that even though the fragment of Peano's Arithmetic known as IΣ₁ is a conservative extension of the equational theory of Primitive Recursive Arithmetic (PRA). IΣ₁ has a super-exponential speed-up over PRA. On the other hand, theories studied in the Program of Reverse (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Stalnaker on Mathematical Information.Gerhard Nuffer - 2010 - Southern Journal of Philosophy 47 (2):187-204.
    Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  46
    On intermediate predicate logics of some finite Kripke frames, I. levelwise uniform trees.Dmitrij Skvortsov - 2004 - Studia Logica 77 (3):295 - 323.
    An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  98
    Myhill John. Some philosophical implications of mathematical logic. I Three classes of ideas. The review of metaphysics, vol. 6 no. 2 , pp. 165–198.Benes Vaclav Edvard. On some alleged implications of mathematical logic. Philosophical studies, vol. 4 , pp. 56–58.Myhill John. Retort to Mr. Benes. Philosophical studies, vol. 5 , pp. 47–48. [REVIEW]Hugues Leblanc - 1957 - Journal of Symbolic Logic 22 (3):314-316.
  49.  14
    Úvod do logiky: Lvovsko-varšavské školy.Zuzana Rybaříková - 2020 - Praha: Togga.
    This book focuses on mathematical logic that was a prominent philosophical method in the Lvov-Warsaw School. Kazimierz Twardowski, who was the founder of the Lvov-Warsaw School, favoured psychology as a philosophical method. However, his pupil Jan Łukasiewicz opposed to him and claimed that the proper method is mathematical logic. Łukasiewicz’s work attracted many other members of the Lvov-Warsaw School and soon became one of its most important subjects of interest. The results of its members in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  62
    Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings. [REVIEW]Richard E. Grandy - 1982 - Journal of Symbolic Logic 47 (3):689-694.
1 — 50 / 965